منابع مشابه
Tableau Recycling
In this paper we improve a model checking algorithm based on the tableau method of Stifling and Walker. The algorithm proves whether a property expressed in the modal mu-calculus holds for a state in a finite transition system. It makes subsequent use of subtableaux which were calculated earlier in the proof run. These aubtab|eaux are reduced to expressions. Examples show that both size of tabl...
متن کاملRethinking recycling.
A study of 361 female melanoma patients and age matched controls was conducted in the four western provinces of Canada. Analysis of reproductive factors showed a significant negative association between number of livebirths and risk of melanoma. The relationship persisted for superficial spreading melanomas after adjustment for host pigmentation factors, freckling, and educational status. An in...
متن کاملCold Recycling
T h e D epartm ent of Highways has a ttem p ted only two cold recycl ing projects. T he first was constructed in 1978 on SR-32 in F oun ta in C ounty. T he road was reh ab ilita ted w ith an in-place stabilized base using an em ulsified asphalt. T h e pavem ent was ripped with a dozer, w indrow ed, and crushed in p lace. V irgin aggregate, 150 lb ./sq . yd., was added an d 2 .3% AE-150 was app...
متن کاملRecycling endosomes
Heparin sustains the brain myloid plaque formation can be inhibited by an unlikely culprit, according to work by Scholefield et al. on page 97. The group finds that heparan sulfate (HS)—normally a part of the cell surface and extracellular matrix—functions in cells to slow the production of the plaque components of Alzheimer's disease. Amyloid plaques are aggregates of the amyloid -peptide (A ...
متن کاملRecycling of Precious Metals from E-scrap
Recovery of gold and other valuable metals from electronic scrap involves a complex metallurgical flow sheet and requires state-of-the-art recovery technologies that are available in large-scale, integrated smelter and refinery operations. At the end of their use, electronic and other electrical product scrap offer an important recycling potential for the secondary supply of gold and silver...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linguistic Recycling
سال: 2020
ISSN: 1461-0213,1570-5595
DOI: 10.1075/aila.00027.int